On the semantics of epistemic description logics . ( Extended
نویسنده
چکیده
The modal description logic AEA:/C both constitutes a promising framework for reasoning about actions and allows for the formalization of several non-first-order aspects of KR systems based on DLs. However, other nonmonotonic features of DL-based KR systems, in particular role and concept closure inside the knowledge base, lack an intuitive formalization in this modal framework. To overcome these difficulties, we propose a modification of the semantics for .A£CIC, which consists in allowing selective minimization of primitive concepts and roles, thus providing for a correct formalization of the notion of role and concept closure.
منابع مشابه
Belief Fusion and Revision: An Overview Based on Epistemic Logic Semantics
In this paper, we formulate some approaches to belief fusion and revision using epistemic logic semantics. Fusion operators considered in this paper are majority merging, arbitration, and general merging. Some modalities corresponding to belief fusion and revision operators are incorporated into epistemic logics. The Kripke semantics of these extended logics are presented. While most existing a...
متن کاملRevisiting Semantics for Epistemic Extensions of Description Logics
Epistemic extensions of description logics (DLs) have been introduced several years ago in order to enhance expressivity and querying capabilities of these logics by knowledge base introspection. We argue that unintended effects occur when imposing the traditionally employed semantics on the very expressive DLs that underly the OWL 1 and OWL 2 standards. Consequently, we suggest a revised seman...
متن کاملPractical Epistemic Entailment Checking in SROIQ
In this paper, we present a reasoner capable of epistemic inferences in SROIQ knowledge bases. We first identify some counter intuitive effects of imposing the traditional semantics in epistemic extensions of expressive description logics (DLs). Thus, we provide a revised downward compatible semantics with a more intuitive behavior in such cases. Based on the new semantics, we present a reducti...
متن کاملEpistemic Logics for Information Fusion
In this paper, we propose some extensions of epistemic logic for reasoning about information fusion. The fusion operators considered in this paper include majority merging, arbitration, and general merging. Some modalities corresponding to these fusion operators are added to epistemic logics and the Kripke semantics of these extended logics are presented. While most existing approaches treat in...
متن کاملBelief, Provability, and Logic Programs
The main goal of this paper is to establish a nonmonotonic epistemic logic EB with two modalities – provability and belief – capable of expressing and comparing a variety of known semantics for extended logic programs, and clarify their meaning. In particular we present here, for the first time, embeddings into epistemic logic of logic programs extended with a second kind of negation under the ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002